Mathematical logic

Results: 6679



#Item
931SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu

SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu

Add to Reading List

Source URL: files.oliverfriedmann.de

Language: English - Date: 2013-08-22 12:16:49
932Mathematics Interim Assessment Blocks Blueprint VThe following tables summarize the Interim Assessment Blocks available at each grade level. Specific information on each block follows these tables.

Mathematics Interim Assessment Blocks Blueprint VThe following tables summarize the Interim Assessment Blocks available at each grade level. Specific information on each block follows these tables.

Add to Reading List

Source URL: www.smarterbalanced.org

Language: English - Date: 2015-02-11 17:43:04
933A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org  Abstract—Zero-knowled

A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled

Add to Reading List

Source URL: certicrypt.gforge.inria.fr

Language: English - Date: 2013-06-17 13:32:36
934Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008  Constructive Mathematics and Functional Programming

Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional Programming

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2009-06-09 09:06:02
935Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam

Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2004-04-25 07:36:40
936Numerical Subdivision Methods in Motion Planning Yi-Jen Chiang and Chee Yap KEY:  Abstract— We propose to design new algorithms for motion

Numerical Subdivision Methods in Motion Planning Yi-Jen Chiang and Chee Yap KEY: Abstract— We propose to design new algorithms for motion

Add to Reading List

Source URL: iros2011.org

Language: English - Date: 2011-09-21 07:00:03
937Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or

Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or

Add to Reading List

Source URL: consequently.org

Language: English
938Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3  Santiago Zanella1,3

Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3

Add to Reading List

Source URL: certicrypt.gforge.inria.fr

Language: English - Date: 2013-06-17 13:32:36
939Nature of Mathematical Reasoning: Spring 2013 Time & Location: Monday, Wednesday 11:30 – 12:20 PM PH A22

Nature of Mathematical Reasoning: Spring 2013 Time & Location: Monday, Wednesday 11:30 – 12:20 PM PH A22

Add to Reading List

Source URL: gregorywheeler.org

Language: English - Date: 2015-03-10 03:37:55